Rajeev Alur: in Z-Library suchen

Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Ihr Zugang zu Kenntnissen und Kultur.

Spende 15. September, 2024 – 1. Oktober, 2024

Z-Library ist eine der größten Online-Bibliotheken in der Welt, die mehr als 17,000,000 Bücher und 84,837,000 Artikel erhält. Wir wollen die Literatur für alle zugänglich machen. Heute (15. September, 2024) starten wir eine zusätzliche Spendenaktion für die Unterstützung und Entwicklung der Projekts.

Auch UNBEGRENZTE Downloads (für 31 Tage nach dem Tag der Spende) sind verfügbar für ALLE Benutzer, die während der Spendenaktion bis 1. Oktober, 2024 spenden werden.

Über SpendenWeitere Informationen erhalten

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (25)
Meistgefragt
Liste
- Liste
- Tabelle

1

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Jahr:

2015

Sprache:

english

Datei:

PDF, 3.62 MB

3.0 / 5.0

english, 2015

2

A really temporal logic

A really temporal logic

Dept. of Computer Science Stanford University

Rajeev Alur, T A Henzinger, Stanford University. Computer Science Department

Jahr:

2007

Sprache:

english

Datei:

PDF, 2.32 MB

0 / 0

english, 2007

3

Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

Jahr:

2015

Sprache:

english

Datei:

7Z, 6.52 MB

0 / 0

english, 2015

4

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 8.73 MB

0 / 0

english, 2008

5

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 12.30 MB

0 / 0

english, 2004

6

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Jahr:

2015

Sprache:

english

Datei:

PDF, 3.64 MB

0 / 0

english, 2015

7

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 9.94 MB

0 / 0

english, 2004

8

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Farn Wang (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 17.65 MB

0 / 0

english, 2004

9

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 4.40 MB

0 / 0

english, 2003

10

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

Jahr:

1996

Sprache:

english

Datei:

DJVU, 5.84 MB

0 / 0

english, 1996

11

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)

Jahr:

1994

Sprache:

english

Datei:

DJVU, 4.18 MB

0 / 0

english, 1994

12

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.67 MB

0 / 0

english, 2011

13

Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

Jahr:

2015

Sprache:

english

Datei:

PDF, 3.62 MB

0 / 0

english, 2015

14

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 6.80 MB

0 / 0

english, 2004

15

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 2.31 MB

0 / 0

english, 2004

16

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 3.04 MB

0 / 0

english, 2004

17

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

Jahr:

1996

Sprache:

english

Datei:

PDF, 9.94 MB

0 / 0

english, 1996

18

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 3.83 MB

0 / 0

english, 2006

19

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 3.14 MB

0 / 0

english, 2011

20

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Farn Wang (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 9.02 MB

0 / 0

english, 2004

21

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 6.56 MB

0 / 0

english, 2011

22

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 3.54 MB

0 / 0

english, 2011

23

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

Jahr:

1996

Sprache:

english

Datei:

DJVU, 5.09 MB

0 / 0

english, 1996

24

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

Jahr:

1996

Sprache:

english

Datei:

PDF, 14.40 MB

0 / 0

english, 1996

25

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.13 MB

0 / 0

english, 2011